Planar Integer Linear Programming is NC Equivalent to Euclidean GCD
نویسندگان
چکیده
It is not known if planar integer linear programming is P-complete or if it is in NC, and the same can be said about the computation of the remainder sequence of the Euclidean algorithm applied to two integers. However, both computations are NC equivalent. The latter computational problem was reduced in NC to the former one by Deng [Mathematical Programming: Complexity and Application, Ph.D. dissertation, Stanford University, Stanford, CA, 1989; Proc. ACM Symp. on Parallel Algorithms and Architectures, 1989, pp. 110–116]. We now prove the converse NC-reduction.
منابع مشابه
The NC Equivalence of Planar Integer Linear Programming and Euclidean GCD
We show NC-reduction of integer linear programming with two variables to the evaluation of the remainder sequence arising in the application of the Euclidean algorithm to two positive integers. Due to the previous result of Deng, this implies NC-equivalence of both of these problems, whose membership in NC, as well as P-completeness, remain unresolved open problems.
متن کاملHalf−GCD, Fast Rational Recovery, and Planar Lattice Reduction
Over the past few decades several variations on a "half GCD" algorithm for obtaining the pair of terms in the middle of a Euclidean sequence have been proposed. In the integer case algorithm design and proof of correctness are complicated by the effect of carries. This paper will demonstrate a variant with a relatively simple proof of correctness. We then apply this to rational recovery for a l...
متن کاملLower bounds for decision problems in imaginary, norm-Euclidean quadratic integer rings
We prove lower bounds for the complexity of deciding several relations in imaginary, normEuclidean quadratic integer rings, where computations are assumed to be relative to a basis of piecewise-linear operations. In particular, we establish lower bounds for deciding coprimality in these rings, which yield lower bounds for gcd computations. In each imaginary, norm-Euclidean quadratic integer rin...
متن کاملLecture : Integer Programming , Spring 2010
2 Euclidean Algorithm and Hermite Normal Form 9 2.1 Sizes of Rational Numbers and Polynomial Complexity . . . . . . . . . . . . 9 2.2 Computing the GCD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3 Computing the Hermite Normal Form . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Lattices and the Hermite Normal Form . . . . . . . . . . . . . . . . . . . . . 15 2.5 Dual ...
متن کاملA bi-level linear programming problem for computing the nadir point in MOLP
Computing the exact ideal and nadir criterion values is a very important subject in multi-objective linear programming (MOLP) problems. In fact, these values define the ideal and nadir points as lower and upper bounds on the nondominated points. Whereas determining the ideal point is an easy work, because it is equivalent to optimize a convex function (linear function) over a con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- SIAM J. Comput.
دوره 27 شماره
صفحات -
تاریخ انتشار 1998